Finding The Highest Normal Form